Article 3116

Title of the article



Dubinin Viktor Nikolaevich, Doctor of engineering sciences, professor, sub-department of computer engineering, Penza State University (40 Krasnaya street, Penza, Russia),
Drozdov Dmitriy Nikolaevich, Postgraduate student, Penza State University (40 Krasnaya street, Penza, Russia),
Artamonov Dmitriy Vladimirovich, Doctor of engineering sciences, professor, sub-department of autonomous information and control systems, Penza State University (40 Krasnaya street, Penza, Russia),

Index UDK



Background. The research object is automata models directed to practical use in the field of hierarchical discrete event systems control design with parallel processes. The research subject is hierarchical modular nondeterministic automata (HMNA) based on Vashkevich’s nondeterministic automata. The goal of this work is to develop a concept, a formal definition and tools for discrete event systems control design based on HMNA.
Materials and methods. The research was performed using the set theory, the automata theory and Petri nets.
Results. This paper proposes a concept of HMNA, which is different from the basic concept of nondeterministic automata in the following aspects: a) a possibility of structuring a hierarchical model using the concept of basic and composite automata modules; b) taking into account the short-lived ("pulse") and level signals. Also,
the authors have developed an HMNA modelling method using formalism of netcondition event systems (NCES).
Conclusions. The HMNA concept allows to use the structured approach to designing (e.g., top-down and bottom-up techniques); it increases the descriptive power of automata models and the degree of design artefacts re-use, and extends the scope of automata-approach applicability to discrete event systems designing. Practical usage of the ViVe tool is possible for modeling and analysis of HMNA systems.

Key words

discrete event systems, nondeterministic automata, control systems, module, design, modelling, net condition/event systems

Download PDF

1. Cassandras C. G., Lafortune S. Introduction to Discrete Event Systems. Springer, 2008, 772 p.
2. Boel R., Cao X. R., Cohen G., Giua A., Wonham W. M., Schuppen J. H. J. Discrete Event Dynamic Systems: Theory and Application. 2002, vol. 12, no. 3, pp. 253–264.
3. Barbeau M., St-Denis R. WorldScientific. 1999, no. 1, pp. 1–23.
4. Vyatkin V., Hanisch H.-M., Karras S., Pfeiffer T., Dubinin V. International Journal of Manufacturing Research. 2006, vol. 1, no. 4, pp. 382–404.
5. Ramadge P. J., Wonham W. M. SIAM Journal Control and Optimization. 1987, vol. 25, no. 1, pp. 206–230.
6. Vashkevich N. P. Nedeterminirovannye avtomaty v proektirovanii sistem parallel'noy obrabotki [Nondeterministic automata in parallel processing system design]. Penza: Izd-vo PGU, 2004, 280 p.
7. Vashkevich N. P., Dubinin V. N. Voprosy radioelektroniki. Ser. EVT [Problems of radioelectronics. Series: Computing technologies]. 2008, iss. 5, pp. 51–65.
8. Frey G. Proceedings of the 4th International Conference on Automation of Mixed Processes ADPM, Dortmund, Germany (September, 2000). Dortmund, 2000.
9. Hanisch H.-M., Thieme J., Lueder A. Journal of Intelligent Manufacturing. 1997, no. 8, pp. 357–368.
10. Mishchenko V. A., Aspidov A. I., Viter V. V. et al. Logicheskoe proektirovanie BIS [LIS logic design]. Moscow: Radio i svyaz', 1984, 310 p.
11. Polin E. L., Zashchelkin K. V. Trudy Odesskogo politekhnicheskogo universiteta [Proceedings of Odessa Polytechnic University]. 2006, iss. 1 (25), S. 88–94
12. Rausch M., Hanisch H.-M. IEEE Int. Conf. on Emerging Technologies and Factory Automation. Paris. 1995, vol. 1, pp. 592–600.
13. ViVe – VisualVerifier Tool Framework. Available at:
14. Starke P. H., Roch S. Analysing Signal-Net Systems. Informatik–Bericht 162. Berlin:Humboldt-Universitaet zu Berlin, 2002, 136 p.


Дата создания: 01.07.2016 09:08
Дата обновления: 07.07.2016 12:12